Rajaa
Hakutulokset: k. w. design
Rajaa
yksi hakutulos.
Formal Methods in Computer-Aided Design
nidottu,
2002,
englanti,
ISBN 9783540001164
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical …